201. Proof theory of impredicative subsystems of analysis /
Author: Wilfried Buchholz, Kurt Schütte
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical analysis,Proof theory
202. Proof theory of impredicative subsystems of analysis
Author: Buchholz, Wilfried, 8491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematical analysis -- Foundations,، Proof theory
Classification :
QA
299
.
8
.
B83
203. Proof theory: the first step into impredicativity
Author: Pohlers, Wolfram
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
P64
2008
204. Proofs and Algorithms : Introduction to Logic and Computability Theory
Author: Dowek, Gilles
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
Classification :
QA
76
.
9
.
L36D68
205. Proofs and Algorithms: an introduction to logic and computability
Author: Dowek, Gilles
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
Classification :
QA
9
.
D68
2011
206. Proofs and fundamentals
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Proof theory. ; Set theory. ;
207. Proofs and fundamentals
Author: / Ethan D. Bloch
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Proof theory.,Set theory.
Classification :
QA
,
9
.
54
,.
B57
,
2000
208. Proofs and fundamentals
Author: / Ethan D. Bloch
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory,Set theory
Classification :
E-BOOK
209. Proofs and fundamentals: a first course in abstract mathematics
پدیدآورنده : Bloch, Ethan D.
موضوع : ، Proof theory,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
210. Proofs and fundamentals : a first course in abstract mathematics
Author: Bloch, Ethan D., 6591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Set theory
Classification :
QA
9
.
54
.
B52
211. Proofs and types
Author: / Jean-Yves Girard
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory,Logic, Symbolic and mathematical,Type theory
Classification :
E-BOOK
212. Proofs and types
Author: Girard, Jean-Yves
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
54
.
G572
1989
213. Proofs and types
Author: Girard, Jean-Yves
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
G58
214. Provability, complexity, grammars
Author: Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Mathematical linguistics.,Modality (Logic),Proof theory.
215. Q.E.D. beauty in mathematical proof /
Author: written and illustrated by Burkard Polster
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Proof theory
Classification :
QA9
.
54
.
P65
2004
216. Reductive logic and proof-search : proof theory, semantics, and control
Author: Pym, David J.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Proof theory
Classification :
QA
9
.
P965R4
217. Reductive logic and proof-search: proof theory, semantics, and control
Author: Pym, David J.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Proof theory
Classification :
QA
9
.
P87
2004
218. Return to reason: a critique of enlightenment evidentialism, and a defense of reason and belief in God
Author: Clark, Kelly James
Library: Special Library of University of Religions (Qom)
Subject: ، Faith and reason,Proof ، God,، Theodicy,، Natural theology,، Knowledge, Theory of )Religion(,، Enlightenment,، Plantinga, Alvin,، Reid, Thomas, 0171-6971,، Calvin, Jean, 9051-4651
Classification :
BT
50
.
C42
1990
219. Selected papers in proof theory
Author: Mints, G E
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
M56
1992
220. Selected papers in proof theory
Author: Mints, G. E.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
M56
1992
